-
1 completely formalized language
Математика: полностью формализованный языкУниверсальный англо-русский словарь > completely formalized language
-
2 completely formalized language
English-Russian scientific dictionary > completely formalized language
-
3 language
- absolutely homogeneous language - absolutely inadequate language - absolutely nonhomogeneous language - absolutely nonperfect language - absolutely nonsimple language - absolutely perfect language - absolutely simple language - completely formalized language - completely homogeneous language - left categorial language - locally perfectly adequate language - locally simple language - locally strongly language - locally well adequate language - noncompletely homogeneous language - right categorial language - scattered context languageindistinguishable in the language — лог. неразличимый на языке, эквивалентный
-
4 formalized
формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - formalized grammar - formalized language - formalized metalogic - formalized model - formalized realizability - formalized scheme - formalized system - formalized theor ФормализованныйБольшой англо-русский и русско-английский словарь > formalized
См. также в других словарях:
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
Catalan language — Catalan, Valencian català, valencià Pronunciation [kətəˈɫa] (EC) [kataˈla] (WC) [valensiˈa] (V) Spoken in … Wikipedia
Macedonian language — This article is about the modern Slavic language. For the extinct Paleo Balkan language, see Ancient Macedonian language. For other uses, see Macedonian (disambiguation). Macedonian Македонски јазик Makedonski jazik Pronunciation … Wikipedia
Norwegian language struggle — The Norwegian language struggle ( målstriden , språkstriden or sprogstriden ) is an ongoing controversy within Norwegian culture and politics related to spoken and written Norwegian. From the 16th to the 19th centuries, Danish was the standard… … Wikipedia
Norwegian language conflict — This article is part of the series on: Norwegian language Variants: Official: Bokmål | Nynorsk Unofficial: Riksmål | Landsmål/Høgnorsk Norwegian language … Wikipedia
APL (programming language) — APL Paradigm(s) array, functional, structured, modular Appeared in 1964 Designed by Kenneth E. Iverson Developer Kenneth E. Iverson … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Chavacano language — Philippine Creole Spanish Chavacano or Chabacano Spoken in Philippines Region … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
